ido2db: Fix integer overflow in debug output.