unsigned int ux, aux, xneg;
/* For some reason using this:
GET_BITS_SP32(x, ux);
instead of the following line makes acosf run like a snail on a Hammer. */
ux = (*((unsigned int *)&x));
aux = ux & ~SIGNBIT_SP32;
xneg = (ux & SIGNBIT_SP32);