fpu/softfloat: re-factor round_to_int