Simple precise pure collision engine (uses arbitrary-precision rational numbers), with very simple bodies.