Assertion list for term "high precision".

Results from Ascent++: 1
machine MadeOfhigh precision 0.30