added StringFormatBigInt