Use numbers that can be accurately represented on binary machines. I hope

this works on all platforms.