fix big ints