Config.Level
type t = {
k : Base.int -> Base.int;
k is the amount of shifting to be used in step(1) above.
k
for_karatsuba : Karatsuba_ofman_mult.Config.Level.t;
}