@$pb.TagNumber(1) $core.double get previousValue => $_getN(0);
@$pb.TagNumber(1) set previousValue($core.double v) { $_setDouble(0, v); }