soft-fp: Correct _FP_TO_INT formatting.