float-approx.patch
