Map<String, dynamic> toJson() { return {"x": x.toJson(), "y": y.toJson(), "z": z.toJson(), "t": t.toJson()}; }