Added a get_int to ConfigManager