Hi Will,
Pix4Dmapper takes into consideration all decimals. If you open the p4d file with a text editor, you will see all decimals. It is a display issue that we have in the GCP Editor that gives the impression that only 3 decimals are taken into account. We should solve the issue 