FIX #1861: floating-point constants for infinity and NaN in via-C