- В языках программирования нет никаких принципиальных ограничений на размер типов.
Во многих новых языках (например Rust) изначально даже есть целые числа длиной 128 бит.
Собственные типы данных же могут состоять из нескольких полей, которые в сумме явно будут занимать больше 8 байт.
Это не говоря даже о массивах, которые в принципе могут быть размером в много гигабайт, если память позволяет.
- Для процессора есть ограничение в виде системы команд, которую не следует менять, ради обратной совместимости, и транзисторный бюджет.
Но вообще давно есть процессоры, которые имеют и 128 битные, и даже 512 битные регистры и операции для работы с ними.
В общем никаких технический ограничений нет - "изобретай" сколько хочешь.