Assertion list for term "constructed for binary-coded decimal".
Results from Ascent++: 1
adder → ReceivesAction → constructed for binary-coded decimal 0.25