This would be a stepping stone to making Arith an instance of Integral. However, to write that instance, I need to somehow implement "integer division truncated toward negative infinity" (ie, -5 / 3 => -2) in shell arithmetic expressions.

Which seems difficult because shell math only supports integers, and it always truncates toward 0 when dividing.