11. A programming language type system comprising: a processor for executing: fixed-point rules that preserve integer-ness for one or more integer operations; integer rules in which integer types are a subset of the fixed point types; and a storage device for storing a result of at least one of executing the fixed-point rules and the integer rules.
14. The system of claim 11 in which the fixed-point rules for multiplication and division integer operations use a graduated radix point rule.