Assertion list for term "decimal expansion".

Results from Ascent++: 1
number (aspect of graph) HasAdecimal expansion 0.64