Что означает (int) $ _GET ['page'] в PHP?

Я попытался найти (int) , но смог найти документацию только для функции int () в руководстве по PHP.

Может ли кто-нибудь объяснить мне, что делает приведенный выше код и как именно он работает?