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