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