if you check that Bin is a model of CUnsigned..., there is no need of these asserts