Module type Number_intf.S
val div_pow_2 : t -> [ `Two_to_the of int ] -> t checked
val ceil_div_pow_2 : t -> [ `Two_to_the of int ] -> t checked
val mul_pow_2 : t -> [ `Two_to_the of int ] -> t checked
val mod_pow_2 : t -> [ `Two_to_the of int ] -> t checked
val of_pow_2 : [ `Two_to_the of int ] -> t