 The definition can be extended by defining <formula> . Extended in this way , this function is related to the number of leading zeros of the 32 @-@ bit unsigned binary representation of x , <unk> ( x ) . 
