It uses exact rational numbers everywhere, represented as quotient of 2 unbounded integers.