Double.asInteger doesn't convert to big integers

[ltratt]

At least in Java SOM the following:

18446744073709551616.0 asInteger println.

gives the surprising result of:

9223372036854775807

I assume that it's not checking that the double can be represented as an integer, so the result is a semi-random bit pattern?

[smarr]

Hm, would probably be desirable to have more consistent behavior here, yes.