generic type identification

[David Holm <david@realityrift.com>]

Hi,
a couple of questions related to generic packages and type specifications.

Lets say I have a package like:
generic
  type New_Type is range <>;
package Example
  procedure Some_Procedure(Item: in New_Type);
end Example;

Is it possible to identify the type of New_Type in the Some_Procedure 
procedure?
I have tried doing stuff like "if New_Type'Range = Integer'Range" etc but 
with little luck.

Another thing that I couldn't find an answer to, is it possible to constrain 
the allowed generic types. Like specifying that New_Type has to be either 
Integer or Float?

The alternative, I guess, would be to not use a generic package and instead 
overload Some_Procedure with those types that I want to be able to use but 
this will clutter the specification file =(.

//David Holm