Assertion list
decimal (primary) → HasProperty

Results from Ascent++: 5
decimalHasProperty positive 0.43
decimalHasProperty correct 0.39
decimalHasProperty simple 0.33
decimalHasProperty large 0.25
decimalHasProperty subnormal 0.25