That's a very good point, thanks. It's sqrt(2), the diameter of a pixel.