Now it is easier to disable extended precision float support (see gh-275)
Merge remote-tracking branch 'upstream/develop' into develop