Assertion list for term "positive number".

Results from Ascent++: 1
base (aspect of logarithm) IsApositive number 0.32