Proper Exhaust Diameter fo a 4bbl 225?

The machinist the mechanic uses is going to do a .100 shave along with the port work. Once I retire maybe I can get on as an apprentice there and finally learn some of this stuff myself.