Module type Num_bits.S