bugs in integer printing