__riscv_flen
In this section:
Description
An integer that is set to 32 when the code is compiled for a RISC-V core with the F (but not the D) extension, and to 64 when the code is compiled for a core with the FD extensions (implicitly or explicitly). If the code is compiled for neither extension, this symbol is undefined.