Yes. Autodesk used to have a staff geometer, and probably still does. Constructive solid geometry is hard, because you can use complex forms to cut into complex forms, and have to represent the result.
A typical exercise in a good CSG program is to model a bolt. You start with a cylinder. Then you draw and dimension a thread cross section. Then you extrude the thread cross section along a spiral, subtracting that from the cylinder, to cut the threads. Then, at the end of the bolt, you cut a chamfer by extruding a triangle around a circle and subtracting that from the bolt. The CAD program must correctly and precisely describe what happens to the thread as it is cut by the chamfer. You can zoom way in and take a close look. You might have a design constraint that the chamfered thread can never be thinner than some specified width, to avoid bits of metal flaking off as the bolt is tightened.
Most of the free CAD programs bail before they deal with problems that hard.