Floating point infrastructure

I think this is the complete infrastructure required to add a floating-point solver, but I am still in the process of checking it.

Outstanding issues:

1. What should the copyright assignment say?
2. The are a few instructions that I didn't know how to parse.
3. I need to check if there are any updates to the theory that need to be encorporated.