Ascent++ | real number

Assertion list

real number (primary) → CapableOf

Results from Ascent++: 3

real number → CapableOf → correspond to point	0.67
real number → CapableOf → define the grid	0.25
real number → CapableOf → represent quantity	0.25