Существует ли язык спецификации данных (например, json) с поддержкой 1-го класса для математических типов, включая следующие: