when we know the signbit of an input to uint_to_fp is zero,