If Nintendo continued to number the Mario games...