Bit length (source code)

= Bit length

The number of <binary digits> in the usual representation of a positive <integer> $n$: $\lfloor\log_2 n\rfloor+1$. The bit length of zero is conventionally zero in integer programming interfaces.