/**
 * 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.
 */
const d = 15;


export { d }