Add cast to int when logging configuration summary