Frontend::getReaderPageId() has to return an integer according to its doc header