Thanks for pulling the data up! I’m fine either way, and I suspect @River707 will strongly prefer landing this in the arith dialect 
(by the way I think that the math dialect already depends on arith because of some folding generating arith.const)