PowerAda 18
From OC Systems Wiki!
(18) The small of an ordinary fixed point type.
See 3.5.9(8).
If a length clause is not used, for model numbers defined by a fixed point constraint, the value of SMALL is defined as the largest power of two that is not greater than the delta of the fixed accuracy definition.