Add bit_modulus_by_power_of_two function