PowerAda 66
From OC Systems Wiki!
(66) The string representation of a random number generator's state.
See A.5.2(38).
The state is floating point value, and the string representation of the state is Integer'Image(Integer(State)).