Assertion list
decimal (primary) → HasA
Results from Ascent++: 3
decimal → HasA → same number of decimal digits 0.47
decimal → HasA → different numbers of digits 0.39
decimal → HasA → fractional part 0.25