Assertion list for term "provide digit".

Results from Ascent++: 1
remainder CapableOfprovide digit 0.25