/* * prop_number_size -- * Return the size, in bits, required to hold the value of * the specified number. */