но если бы меня назначили путиным комитета, я бы задачу ставил очень просто - сделать интерфейс операций с int-ами ровно такой, как с wide_int-ами, за счет расширенных операций в std
Напомните, каким трюком можно заставить MSVC развернуть все using и показать в сообщении об ошибке истинный вычисленный тип, а не его финальный идентификатор?