Python round() uses ties-to-even, so a coordinate on a half step was one unit off from Copy JSON, which rounds halves toward +inf.
Python round() uses ties-to-even, so a coordinate on a half step was one unit off from Copy JSON, which rounds halves toward +inf.