added getPropertyInt to configuration that takes care of casting properties to integers