`core_number_of_highest_bit` → `bitarith_int_log2`?