root/sys/arm64/include/floatingpoint.h 

#include <machine/ieeefp.h>