Assertion list for term "irrational number".

Results from Ascent++: 1
base (aspect of logarithm) IsAirrational number 0.25