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.
1.6m questions
2.0m answers