pub const JIT_OP_CHECK_FLOAT64_TO_UINT: u32 = 38;