Lots of fixes for floating point handling; version now at 1.11.0.