PowerAda 64
From OC Systems Wiki!
(64) The value of Numerics.Discrete_Random.Max_Image_Width.
See A.5.2(27).
The value of Numerics.Float_Random.Max_Image_Width is Integer'Width, or 12.
See A.5.2(27).
The value of Numerics.Float_Random.Max_Image_Width is Integer'Width, or 12.