def get_value_from_settings_with_default_int(wf, value, default_value):
    """Returns either a value as set in the settings file or a default as specified by caller"""
    try:
        ret = wf.settings[value]['value']
        return int(ret)
    except KeyError:
        return default_value