am 18243b3e: Relax modf(Inf) fractional part verification am: d4f9d1bde9