Int16 package:bv-sized

Construct a BV from an Int16.