Do not crash if an integer config option is not set