Commonsense arithmetic reasoning