exportOcp sets kkt/obj types to double, testOcpExport.py seems to be working