I'm sorry Gregor, this is what happened, I mis-reported against 4.13. I hope it wasn't too much of a time waste.Fixing 5.0.0 should be sufficient. Thank you.
All right - I went ahead and marked the correct version.It looks the next release is still on hold because of an old FPU rounding issue affecting i686. I hope I can get that fixed shortly.
