floating point numbers implicit normalization