(check (= 3i (+ 1u 2i)))