[MatthewPhillips]

That used to be true, but nowadays it depends on the browser and the difference is a rounding error.