fix bug in number_of_bits for integer'high