The number of bits in a product of odd integers