Fixing floating point numbers