can you assert that the bitwidth is positive?