Constant EF_RISCV_FLOAT_ABI_DOUBLE 

pub const EF_RISCV_FLOAT_ABI_DOUBLE: u32 = 0x0004;