default type arg to String2Int