Assertion list for term "use floating point numbers".

Results from Ascent++: 1
subtraction CapableOfuse floating point numbers 0.16