Hi Clark, Thx for accepting my suggestion about naming comparison operators bv(u|s)xx, that's much more consistent. Question: Are you also planning to rename div & rem operators: bvdiv -> bvudiv bvsdiv stays the same bvrem -> bvurem bvsrem stays the same These additional renamings would make the theory more consistent. Domagoj Babic