The node you are looking for is at gnat_rm/compatibility_and_porting_guide writing-portable-fixed-point-declarations.