I think (int) is okay. Although you're right about the result being probably larger than int(32), PHP couldn't handle that anyways (afaik). Also have a look at the implementation of `Pagination` it isn't designed to work with datasets larger than int(32). ItemCount is meant to be an integer.