Docs for clz32