/* signbitf is implemented in s_signbit.S */