Assertion list for term "single integer".

Results from Ascent++: 1
line HasAsingle integer 0.64