The node you are looking for is at gnat_rm/implementation_advice rm-g-2-4-19-accuracy-requirements.