intermediate step was overflowing; anticipate overflow within while loop...

... and add wimpy test