@$pb.TagNumber(6) $core.double get doubleVal => $_getN(5);
@$pb.TagNumber(6) set doubleVal($core.double v) { $_setDouble(5, v); }