export var MAX_SAFE_DIGITS = 15;
// + десятичный разделитель
// + целая часть равная нулю
// + знак '-'
export var MAX_ALLOWED_CHARS = MAX_SAFE_DIGITS + 3;
export var THIN_SPACE = String.fromCharCode(0x2009);
export var SPACE = String.fromCharCode(0x0020);
export var MINUS_SIGN = String.fromCharCode(0x2212);
//# sourceMappingURL=constants.js.map