使用Python编写一个函数，以计算给定整数列表的平均数。
整数列表[3, 5, 9, 13, 17]。
可以使用以下Python函数计算给定整数列表的平均数：

```python
def average(numbers):
    return sum(numbers) / float(len(numbers))

# 调用函数并打印结果
print(average([3, 5, 9, 13, 17]))  # 输出结果为 9.4
```

该函数首先使用内置的`sum()`函数计算整数列表中所有数字的总和，然后将该总和除以该列表中数字的数量来得到平均值。注意要使用`float()`函数将总和转换为浮点数，以确保更准确的浮点数除法。