Assertion list for term "use ieee 754 -to-nearest mode".

Results from Ascent++: 1
value (aspect of expression) CapableOfuse ieee 754 -to-nearest mode 0.25