Hashing, comparing large numbers

When a volatile hash index is used to cache atomic items to be compared, large numbers are not correctly hashed: ```xquery 100000000000000000000.0 = (1e20, 0e0) ```