Assertion list for term "64-bit whole number".

Results from Ascent++: 1
integer IsA64-bit whole number 0.28