Bug behoben.
Das Problem lag darin, dass sich beim Verkauf zusätzliche Dezimalstellen gebildet haben und daher keine ganze Zahl (also in dem Fall 0,998... statt 1) wieder herauskam. Dadurch konnte man nurnoch einen Bruchteil des vorigen Verkaufs anbieten. (Aber da man nicht > 1 anbieten kann, ...)
Also wie schon gesagt, Problem behoben, Verkaufszahlen werden nach einem Verkaufsstop abgerundet*.
*Man hat jetzt statt 0,001... - nach einem sofortigen Stop direkt nach dem Beginn - erst 0 verkauft, wodurch man wieder 1 statt 0,998... zurückbekommt.
Vielen Dank für die Bugmeldung.