JIT coerce_Is and base_I.