libc/sysdeps/arm/fpu/bits