EF_RISCV_FLOAT_ABI_DOUBLE

var EF_RISCV_FLOAT_ABI_DOUBLE: Int32 { get }