A backend for (immutable) number representations that allows you to switch between different real and rational implementations.