Encode really big ints as doubles.