cast integer type in debug message