This is not needed anymore as we have already in other places made sure its an integer (just as the phpdoc of these called methods say).