2012-07-12, 17:18:29
Pretty curious bug. As it turned out, it was a rounding error. So bug confirmed and fixed.
Thanks for the report and test!
Thanks for the report and test!
This post has been brought to you by Sand - it's everywhere, get used to it.