That will STILL not solve the underlying problem and errors will occasionally occur. (It's x-h that matters)
(Also it wouldn't be that simple, as most likely also verify would have to be changed...)
I think that it
does solve the problem and verify()
does not need to be changed.
I am not certain I understand all of this because I haven't got into the source and the algo.
But what is the problem with the source?
Isn't it just a programming error that x-h is negative so it should be fixed upfront?