Note some more platforms where float-approx is tested, fix a bug in the prediction...