Reasoning with Numbers