lacerto

(...)

(...)

(...)

This fixes it in practice. If it does not fix it "in theory", I could not care less: a) Default 1-decimal accuracy for millimeter units used: b) 3-decimal accuracy set in the Preferences (objects are the same and at same positions as in stage a):

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)

(...)