Re: Integers and Mathematical Correctness

["chris.danx" <chris.danx@ntlworld.com>]

> > why does
> >
> > xxx : c_integer := c_integer(-3)/c_integer(2);
> > work then?  Is it not the same?
>
> No.  The "/" operator in the above line is the new
> operator for the c_integer type you declared, and it's
> not the same as any of the Standard."/" operators
> (i.e., for Integer, Float, etc.).
>
> A new type means exactly _that_ -- a _new_ type,
> with new operators.

So when a new integer type is declared, a group of operators are created for
that type but their behaviour can be still be changed?  Ok, I get it now!

Thanks,
Chris