Added GetInt function to retrieve an integer setting