correcting a bug for frexp if the exponent is over the maxexponent value by 1 and adding ad hoc constant to avoid recomputations