File : reps.ads

package Reps is

  pragma Pure;

  type Rep is new Long_Long_Float;

  Zero:  constant Rep := Rep(0);
  One:   constant Rep := Rep(1);
  Two:   constant Rep := Rep(2);
  Half:  constant Rep := One/Two;

  Undefined: exception;

  subtype Radius is Rep range Zero .. Rep'Last;

end Reps;