(*i $Id$ i*)

(* Nice syntax for naturals. *)