floating point correction