DOUBLE_MANT_DIG

const DOUBLE_MANT_DIG = 53;