Decisión aritmética