(* $Id$ *)

(* Nice syntax for naturals. *)