Re: Float to String

[Marius Amado Alves <amado.alves@netcabo.pt>]

> So it is kind of PL/1, pre Ada 83. You have elementary types and you can
> compose structures out of them. The problem of all such approaches it that
> the representation becomes fixed....

Not a problem here. Mneson is not for system programming. Mneson gives 
you a semantic data model. It is a database system. Data independence 
implies lost of representation control.

> type My_Integer is new Integer;
>    -- My_Integer is built upon Integer. This cannot be portable.
>    -- Or else one should go the Integer-N way. This cure is
>    -- worse than the disease.
> 
> type My_Integer is range ..;
>    -- This is portable, but does not fit in your model

Yes it fits, because Mneson basic types are designed big enough [1]. If 
you have Ada integers you want to store in Mneson you just convert to 
Integer_64.

    X : Vertex := To_Vertex (Integer_64 (Your_Integer));

And (at the base level) Mneson does not check the range, but you will 
get that when you convert back to Your_Integer.

    Your_Integer := My_Integer (Integer_64'(Value (X)));
________
[1] Well, "big enough" is currently 64 bits. There will be a 128-bit 
version eventually.