> the behaviour of the float_abs operation is specified by the language

Which language? Where? I just googled for float_abs and got nothing.

PyPy intermediate representation. I assume this is what PyPy turns Python "abs(x)" into in codepaths where it knows x is a float.