Present stage position in mm units (continue storing raw stage coordinates internally - scale property values appropriately in getter and setter).
Add a second refinement round to autofocuser (3 rounds total).
Put AutoFocuser display of camera image at final focused position inside if block.