Well, yes. Of course. No doubt, no doubt at all. Anything else would be completely ludicrous. Languid Larry licked limp linguini, you know. So for all values >3.14159265... we can assume the integer, no? It certainly makes better sense if we do, as it does not involve any of Ptolemiac equations popular around the 16th Century. So I agree.