On Thursday, 19 June 2014 at 03:42:11 UTC, David Bregman wrote:
I think the mulu implementation is incorrect. There can be an overflow even when r = 0. For example consider the int version with x = y = 1<<16.
I also noticed this; another easy counter-example would be 1<<32 for ulong multiplication.