Assertion list
decimal (primary) → IsA
Results from Ascent++: 1
decimal → IsA → number 0.57