[jacquesm]

Since the GGP is easily googleable he actually has 0 bits left, but you are correct about the math.