make nextfloat/prevfloat saturate at Inf, as per the IEEE standard

ref #5290