Assertion list for term "change floating-point division computations".
Results from Ascent++: 1
compiler → CapableOf → change floating-point division computations 0.28