(product(2^32-i) for i=1 to 77162)/(2^(77162*32))