definitions for Big Integer library by Tom Wu