quot_rem
Rework tag dispatch