Some work on improving BitVector<->String conversions