Assertion list for term "double to 2016".

Results from Ascent++: 1
spending CapableOfdouble to 2016 0.33