Is pi^pi^pi^pi an integer?