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