/**
 * The number of significant digits per nibble.
 *
 * Since we use 3 nibbles there are 3*15 significant decimal figures looked at
 * to convert a string to a double-double.
 */
declare const d = 15;
export { d };