Generic formal type with 'Image

["Alejandro R. Mosteo" <alejandro@mosteo.com>]

I'm pretty sure the answer is "no", but just in case:

Is there a formal for a generic that serves for any type that has a 
predefined 'Image?

The purpose is to avoid:

generic
    type Printable is ... -- What should go here?
    with function Image (P : Printable) return String is <>;
package

and then have to pass the 'Image attribute as the Image function in all 
instantiations.

The closest thing I can think of is (<>) but that won't do for floating 
point types.

I understand this is an unusually narrow case (I need a generic for many 
numeric types, both discrete and floating, and this would save me some 
typing -- that I have already spent here anyway.)

With these issues I feel a kind of overlap/missed connection between 
attributes and interfaces.

Thanks,
Alex.