Assertion list for term "finite representation".

Results from Ascent++: 1
real number HasAfinite representation 0.36