Instead of dividing by 2 and rounding with magic number 2^52, we round with magic number 2^53, which gives us the parity with at least one mul less.