don't format int32 with  notation