I agree with what you are saying. It's just that you gave a floating point multiplication example, where an integer multiplication with overflow would have been a relevant example.

Here's a relevant example,

    2^26 * 2^26 == 2^52

may not hold in javascript because it only supports 52 significant binary digits. Whereas other languages usually support 64 significant binary digits.