Hello, I'm trying to input a tropical polytope whose vertices have coordinates in Q and not in Z. This is the input $p=new Polytope <Min> (POINTS=>[[0,0,0,0],[0,1,2,3],[0,4,1,7], [0, 4/9, 1/9, 7/9], [0, 1/2, 1/8, 7/8],[0, 4/7, 1/7, 1], [0, 2/3, 1/6, 7/6],[0, 4/5, 1/5, 7/5], [0, 1, 1/4, 7/4],[0, 4/3,...