I'm not currently aware of any integration, but since it is based on OpenCASCADE, there may be certain shapes that "just work" with IFC. This is similar to how FreeCAD uses IfcOpenShell to directly serialise some FreeCAD shapes into IFC geometry.