On Thu, 3 Apr 2014, Jeffrey Carter wrote:

> On 04/03/2014 02:17 PM, Randy Brukardt wrote:
>> 
>> I : Unbounded_Integer := +1E1000;
>> 
>> works today.
>
> I would like to see the definition of "+".

Second!

My understanding is that 1E1000 is of the pseudo-type Universal Integer, 
(or maybe Universal Float). But the "+" function cannot have an 
in-parameter of that type, so that *should* not work.

Randy, please enlighten us!

------  I  love  the  taste  of  Cryptanalysis  in  the morning!  ------
     <http://www.uni-weimar.de/cms/medien/mediensicherheit/home.html>
--Stefan.Lucks (at) uni-weimar.de, Bauhaus-Universität Weimar, Germany--