@$pb.TagNumber(4) $core.double get underlyingPrice => $_getN(3);
@$pb.TagNumber(4) set underlyingPrice($core.double v) { $_setDouble(3, v); }