$RVV Short-Szenario. Es sollte bis 0.002933 gelangen.