Returning the value fetched with RawconfigParser.getint is actually quite useful

…………………………