package Pkg is
   procedure P;
   type T is new Float;
