Constant EF_LARCH_ABI_DOUBLE_FLOAT

const EF_LARCH_ABI_DOUBLE_FLOAT: u32 = 3u32

Uses GPRs, 64-bit FPRs and the stack for parameter passing