added further double-precision change following the change in src/ifcgeomserver/IfcGeomServer.cpp