$Id: daml-num.daml,v 1.1 2000/10/07 03:21:17 connolly Exp $ Numeral a sequence of digits (perhaps a sign? decimal place?). Radix 10, I guess. Note that "10" is a numeral, but the corresponding number is something else: "10" is a label for that number; i.e. daml:label(n, "10"). @@hmm... is label unambiguous over Numbers? or do we allow, e.g. "010" and "10" to denote the same number? Integer section 3.3.8 integer in the XML Schema Datatypes spec for min(S, x) read: x is the minimum of s; i.e. x is in S and every y in S is not less than x for man(S, x) read: x is the maximum of s; i.e. x is in S and every y in S is not greater than x equal Range a set (class) of integers ranging from some min to some max. @@Hmm... how to say that each instance of Range is a subclass of Integer?