add isl_point_set_coordinate_val