It fails as well, because `u64` values are used to check for overflows (positive and negative).

I've added another testcase checking this.