Track Floating-Point SMTLib changes

There’s probably a few gotchas remaining; but we’ll fix them as Z3
matures and bugs are found. It’s really hard to dig around otherwise..

Fixes #73.