-- these numbers don't overflow 64 bits. This number is not
-- magic in any other sense than that it does not cause test
-- failures, while 2^23 does.
-- these numbers don't overflow 64 bits. This number is not
-- magic in any other sense than that it does not cause test
-- failures, while 2^23 does.