rounding errors on linux