BackendZ3: Bypass integer string conversion limit. (#577) #97

Job	Run time
ecosystem / Build	3m 52s
ecosystem / Lint	1m 35s
ecosystem / Test (0)	6m 27s
ecosystem / Test (1)	6m 8s
ecosystem / Test (2)	8m 33s
ecosystem / Test (3)	4m 14s
ecosystem / Test (4)	8m 17s
ecosystem / Test (5)	8m 32s
ecosystem / Test (6)	4m 57s
ecosystem / Test (7)	6m 55s
ecosystem / Test (8)	9m 1s
ecosystem / Test (9)	5m 43s
ecosystem / Publish Unit Tests Results	1s
	1h 14m 15s

Provide feedback