The node you are looking for is at gnat_rm/implementation_advice rm-13-9-14-17-unchecked-conversion.