HALF_MANT_DIG

const HALF_MANT_DIG = 11;