In theory (but possibly not in practice, gerber processing is complex) the fix should be fairly easy just adjust the number of emitted digits. I guess we will see if that is true or the situation is much more complex (which unfortunately is entirely possible!)
Peter
