Int casting now handled in configloader.py