@$pb.TagNumber(9) $core.double get xMaxNormalized => $_getN(8);
@$pb.TagNumber(9) set xMaxNormalized($core.double v) { $_setDouble(8, v); }