It is a bit more complex than that: using the softfloat ABI does not necessarily mean softfloat is used. The ABI can still use hardware fp. And that is the case here, I suspect.