#1216 UnsignedBddBitVector.sign: small improvements.

Small follow-up to !1333 (merged):

• Need only one bit for the resulting value vectors.
• 'posOne' -> 'one', as there are no negative values here.

Addresses #1216 (closed)