Identify MVP user for new floating_point<M,E> and try using the new type

We want to verify that the core functionality of the new type is solid. The best way to do that is to find a user code using the old types, try to plug in the new ones, and then see what breaks!