`USE_BIG_NUMBERS` and `USE_BIG_FLOATS`

We should make the decision to use these more intelligent than it is now (and if there's a flag / setting, handle it through `cmake` rather than asking people to edit `src/include/defs.h`).