[printf]: input value should be exactly representable as 32-bit float

[printf]: input value should be exactly representable as 32-bit float #2694