added correct rounding to Float32bits