More handling of floating point.
+ Load and store from memory.
+ Uninitialized values.
+ Simple equality reasoning.
+ fixes #50