Now it is easier to disable extended precision float support (see gh-275)