let
num_2_pow_minus_256 =
Num
.power_num num_2 num_minus_256