Van Bendegem, J. P. Classical Arithmetic Is Quite Unnatural. LLP 2003, 231-249.