Fix for IE rounding error