glibc/ports/sysdeps/ia64/fpu/k_rem_pio2f.c