Assertion list for term "represent integer value".

Results from Ascent++: 1
bit CapableOfrepresent integer value 0.47