Assertion list for term ".999 pure".
Results from Ascent++: 1
round → HasProperty → .999 pure 0.19