Might be more interesting to think about replacing ints and Decimal with implicit-denominator rational type. In the HTTP-NG typing proposal, we called this a "fixed-point" type. See Section 4.5.1 of http://www.w3.org/Protocols/HTTP-NG/1998/08/draft-frystyk-httpng-arch-00.txt for details.
The current notion of "int" would be defined as a specific kind of fixed-point type (a denominator of 1), but other fixed-point types such as dollars (denominator of 100) or dozens (denominator of 1/12) could also be defined. The nice thing about type systems like this is that they can accurately describe non-binary values, like 1/3. Bill _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
