let
num_2_pow_minus_128 =
Num
.power_num num_2 num_minus_128