Make unit_mul explicit