subtype_mark(expression)
| subtype_mark(name)
Integer(1.6) -- value is 2
Integer(-0.4) -- value is 0
Y := B_Form(X); -- the reverse conversion
subtype Dozen is Sequence(1 .. 12);
Ledger : array(1 .. 100) of Integer;
Sequence(Ledger(31 .. 42)) -- bounds are 31 and 42
Dozen(Ledger(31 .. 42)) -- bounds are those of Dozen