Separate names with a comma.
The fix they did was in Update v0.34. I think what they did wasn't double precision, but perhaps something with adjusting the origin at...
Actually guys, I'm 90% sure several updates ago they solved this issue. They didn't convert floats to double, but they did something...