Fix precision according to IEEE 754