Type pageSize and pageNumber as positive-int in Pagination\Window

Exploring the new Paginator and I'm wondering if it might be an idea to change $pageNumber and $pageSize type to positive-int here and possibly $maxResults to int<1, max> for improved static analysis?

https://github.com/doctrine/orm/blob/b258a4d7874dc701a45316eebc14fca3b6de69aa/src/Tools/Pagination/Window.php#L40-L50