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