root/sys/riscv/include/floatingpoint.h 

#include <machine/ieeefp.h>