Update seal_stringToInt.h