On Friday, 16 March 2012 at 08:34:18 UTC, Dmitry Olshansky wrote: > Ehm, because they have different engines that _should_ give > identical results. And the default one apparently has a bug, > that I'm looking into. > Fill the bug report plz. Ok, submitted: id 7718 Thanks, Josh