let
two_power y =
try
let
k =
Big_int
.int_of_big_int y
in
power_two k
with
Failure
_
->
assert
false