add string_of_bigint