Takes a very long time to test in debug mode.
Example implementation not known to encounter overflow errors.