Fixed small bug in OpenCG compatibility module by type casting halfspaces as ints