Assertion list for term "fit into the size of the type".

Results from Ascent++: 1
result (aspect of expression) CapableOffit into the size of the type 0.25