Assertion list for term "add up to the number".

Results from Ascent++: 1
factor (aspect of prime number) CapableOfadd up to the number 0.16