@$pb.TagNumber(5) $core.double get tx => $_getN(4);
@$pb.TagNumber(5) set tx($core.double value) => $_setFloat(4, value);