Comment by GFK_of_xmaspast

Aren't all numbers in javascript double precision.