@override String serialize() { final v = value as (double, double, double); return jsonEncode([v.$1, v.$2, v.$3]); }