val x = 0.0 ; val _ = x: Real32.real