package Float_Type is 

   subtype Real is Float; 

end Float_Type
To API doc
To spec;