use the integer= param to get_config instead of casting the return value
more compact code, does exactly the same as previously