- Somewhat functional exact arithmetic implementation