next_toward_inf
FPBits
It is needed to provide correct rounding when building FPRep from greater precision representations.