> 1/2^256
この256はどこから出てきた?