protected function checkIntTypes(NumericTypeInterface $a, NumericTypeInterface $b)
    {
        $a1 = ($a instanceof IntType ? $a : $a->asIntType());
        $b1 = ($a instanceof IntType ? $b : $b->asIntType());

        return [$a1, $b1];
    }