Constant JIT_OPCODE_DEST_FLOAT64 

pub const JIT_OPCODE_DEST_FLOAT64: u32 = 4;