Reasoning about numbers, with challenges and simplifications