Patch so that the code compiles with g++-4.7 and -std=gnu++11.
Link against TRP.
Reverse the order of concatination of bitstrings to construct floating-point literals.
A variety of stupid bug fixes plus new interval propagators.