hack in a native softfloat implementation