Thank you for the reply. As I mention in my post, although the printf() function does work for negative numbers, that is not a solution for a bug in the SDK function DbgConsole_Printf().
Your users deserve bug-free SDKs and I highly recommend you fix the bug as outlined.