Add `(Float 2.0)` to the `=` table and tests.
Tidy up stuff about categories and equivalent values.