gm2-libs-pim/NumberConversion#
DEFINITION MODULE NumberConversion ;
(* --fixme-- finish this. *)
END NumberConversion.
Back to top