FLT_MANT_DIG
if (real_time_difference >= (1 << FLT_MANT_DIG)) {
if (perf_time_difference >= (1 << FLT_MANT_DIG)) {
#if BITS_PER_MP_LIMB > FLT_MANT_DIG
u.ieee.mantissa = frac_ptr[0] & (((mp_limb_t) 1 << FLT_MANT_DIG) - 1);