typ'Range_Length for any discrete type typ yields
the number of values represented by the subtype (zero for a null
range). The result is static for static subtypes.
applied to the index subtype of a one dimensional array always gives the
same result as
Length applied to the array itself.