Integral_polytope loading ...