von Neumann integers