Minor changes to integer.cpp