Использовать можно прямо в консоли, примеры на картинке. Установите по инструкции, затем просто вбиваете
numbat и вводите что вам нужно посчитать или перевести в другие единицы.В системе типов Numbat умеет работать с размерностями и автоматически отслеживать ошибки в вычислениях. Например, если попытаетесь использовать длину вместо времени, компилятор сразу скажет, что что-то не так.
И это и есть главная фишка! Парсер работает строго: либо получите понятное сообщение об ошибке, либо можете доверять результату расчёта. Язык заточен под «одноразовые» вычисления для учёных и инженеров, которым нужна высокая точность и автоматическая конвертация между единицами измерения.