Throughout the project, we inconsistently use float vs numeric for numbers of various kinds. Make sure the choice is deliberate and appropriate everywhere.

As discussed in #111