binomial(256,128) * 0.5^256