Reliable geometric modeling with rational arithmetic.