I assume [[x]] stands for "the largest integer smaller than or equal to x".
If x is already an integer, then x itself satisfies the definition. 23 is an integer that is equal to 23. So [[23]] = 23.
7.3m questions
9.7m answers