Outputting integers in python settings.py for metrics api

Change-Id: I241a8bb03abb5f6efdf1fae68149fb3dde69cb27