bump version after API extension in UnsignedInteger class