1000^256 / 2^64