Add libraries/IntegerArithmetic.js