(floor(2^128 / 6) + 1) / 2^128