I was just confirming my understanding that JavaScript numbers are 64-bit (i.e. double precision) floats on all platforms and I stumbled upon this old article from Douglas Crockford: A Survey of the JavaScript Programming Language.