the usage of ``int`` vs ``integer`` is inconsistent in the phpdoc of the class