A 20,604.5 mile diameter roughing mill? Maybe the flat earthers were right all along, they just needed a tool big enough. Although why stop at flat, you could square the earth right up!