Maybe IE uses decimals, Mozilla integers.