is pi^pi^pi^pi an integer