Scheme and J both support a model of exact integer arithmetic in addition to arithmetic of other numeric types such as complex and inexact (floating point) numbers. Exact values are limited in precision only by available (possibly virtual) memory.
