Report a bug
With the following tool you can test whether a given string represents a von Neumann integer.