Some misc. stuff related to arithmetic.