Maximum of non-null values in the scanned data. NaN, if the field has a NaN.
@$pb.TagNumber(5) $core.double get max => $_getN(3);
@$pb.TagNumber(5) set max($core.double v) { $_setDouble(3, v); }