am 986c28ff: (-s ours) am 18243b3e: Relax modf(Inf) fractional part verification