Если под размерностью имеется в виду единица измерения, то например в
F# есть такое.
Аналогичная функция должна быть во многих языках для научных вычислений.
Также это может быть реализовано через паттерн newtype - это когда мы создаём новый тип, в котором будет только одно поле с нашим числом - так, например, часто делают в
Rust, тк его компилятор достаточно умён, чтобы сделать это бесплатным.
Если под размерностью понимается размер в битах, то такое есть в
llvm IR - в нём целые числа могут иметь произвольный размер, а не ограничиваться 8,16,32,64