Use the right format string to printf sector num with DEBUG_IDE.