bv-0.5: Bit-vector arithmetic library

Bit-vectors implemented as a thin wrapper over integers.