The node you are looking for is at gnat_rm/implementation_advice rm-a-5-2-46-47-random-number-generation.