It is part of the Bit Manipulation extension. So is count leading zeros. Unfortunately it is still in draft. The math extensions are not in draft.
It is part of the Bit Manipulation extension. So is count leading zeros. Unfortunately it is still in draft. The math extensions are not in draft.