Symbol: riscv_fp_size