Update seal_hexStringToInt.h