[Help-bash] [[ " 123 " -eq 123 ]] is supposed to work?

[Clark Wang]

I found some people often use this syntax to avoid manually removing the
leading and trailing spaces. I never use this as I'm not sure if it's a
standard feature. So is this feature documented?

-clark