Create a Math.h utility. Use it for count leading sign bits, used in MMI.