Tinkercad arduino simulator целые числа выводятся как большие числа, чем они есть?

Я использую симулятор Arduino на www.tinkercad.com (казалось бы, хороший бесплатный продукт от Autodesk). Работа над преобразованием целого числа в 16-битную двоичную строку для вывода в ЦАП, но, к сожалению, даже на первом шаге я получаю неожиданное поведение.

void setup()
{
  pinMode(13, OUTPUT);
  Serial.begin(9600);
  Serial.print("Sanity Check\n");
  uint16_t num = 12000;
  Serial.print("\nNumber: " + String(num) + "\n");
  delay(3000);
}

Удивительно, но вышеприведенный код дал следующий вывод:

Sanity Check

Number: 12222

Есть ли что-то, что я делаю неправильно, или что-то не так с симулятором? Ошибка, по-видимому, возникает при любом значении более 10000. 10001, 10002, 10003 все печатаются как 10000. 11000, 11001, 11002, 11003 все печатают как 11111 и т. Д. Что могло произойти?