Initial pypi upload
Allow bits to create intbvs of unspecified width