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?
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
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?