Thomas W Moran <[log in to unmask]> writes:

> >float or integer coefficients
>   X := X+1;   or X := X+1.0;
> One will be illegal.  I think you'll have to use
>   X := X+This_Type(1);

If you import that type as a private, you'll have to import literals

  type T is private;
  One : in T;
  with function "+" (L, R : T) return T is <>;