add float.h for arm32, copyed from musl libc