root/sys/riscv/include/floatingpoint.h

#include <machine/ieeefp.h>