11. A programming language type system comprising: a processor for executing: fixed-point rules in which fixed-point types can be automatically converted to floating-point types, wherein the fixed-point rules 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.
11. A programming language type system comprising: a processor for executing: fixed-point rules in which fixed-point types can be automatically converted to floating-point types, wherein the fixed-point rules 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. 12. The system of claim 11 in which the fixed-point rules preserve integer-ness for all integer operations.