Assertion list
decimal (primary) → HasProperty
Results from Ascent++: 5
decimal → HasProperty → positive 0.43
decimal → HasProperty → correct 0.39
decimal → HasProperty → simple 0.33
decimal → HasProperty → large 0.25
decimal → HasProperty → subnormal 0.25