$ 0 0 I retract my previous comment. Building with hard floats vs soft floats would yeild better performance.