Implemented printf(%d); and int printing