Openscad can export to CSG, which can be imported by free cad or converted to STEP https://github.com/gega/csg2stp