bugfixes and tests verifying OBInt multiplication
bugfixes, tests, and method signature updates for OBInt