package body Standard_Natural_Numbers is function Create ( n : natural ) return natural is begin return n; end Create; function Equal ( a,b : natural ) return boolean is begin return (a = b); end Equal; procedure Copy ( a : in natural; b : in out natural ) is begin b := a; end Copy; procedure Add ( a : in out natural; b : in natural ) is begin a := a+b; end Add; procedure Sub ( a : in out natural; b : in natural ) is begin a := a-b; end Sub; procedure Min ( a : in out natural ) is begin a := -a; end Min; procedure Mul ( a : in out natural; b : in natural ) is begin a := a*b; end Mul; procedure Clear ( a : in out natural ) is begin null; end Clear; end Standard_Natural_Numbers;