I've seen ⌊⌉ used for rounding to the nearest integer, if it's in a context where you're not ever going to use that it seems like it would be sensible to use it or its inverse for truncation
(I say its inverse since it would sort of communicate "lower numbers [to the left] get rounded up while higher numbers [to the right] get rounded down")
Why would we have a whole fake country to distract people from all the other secret experiments the government does?
Why would we spend billions convincing people of a lie to protect investors interests?
Why would we go and smuggle a country into every atlas, globe and other world map and burn all the old maps (except for one or two that you definitely can't find on the second floor of the non-existent Australia doesn't exist hq)
That would be preposterous
Silly, even.
Having said that, I do notice they're getting a bit greedy on the acting contract