Assertion list for term "allow for high precision".

Results from Ascent++: 1
carbon CapableOfallow for high precision 0.31