32 bit integers: unsat    float32: sat   with x = NaN  y = -0.9999845027923583984375*(2**-126)
