Эта проблема лежит в той же плоскости, что и разрядность INTEGER. У нас же регулярно споры возникали, что с ним делать при переходе к КП64 -- сдвигать или оставлять 32-битным. А если оставлять, то эффективность вычислений упадёт.

В чисто системном плане я согласен с Владимиром: там нужен полный комплект типов с точной разрядностью. Вы криптографию или протоколы связи с коррекцией ошибок попишите -- там умахаться можно выписывая всякие преобразования. Это не очень частые задачи, но случаются. Можно этот набор полностью в SYSTEM заткнуть, чтобы включалось только тогда, когда надо.

А так то да, я за абстрактность и удаление от машины. На сколько это возможно.