Fix inconsistency with uint2bv(0)