more efficient int format