Assertion list for term "uniq number".

Results from Ascent++: 1
integer IsAuniq number 0.33