Constant JIT_OP_CHECK_FLOAT64_TO_UINT 

pub const JIT_OP_CHECK_FLOAT64_TO_UINT: u32 = 38;