Я не знаю, может быть с этим связаны какие-нибудь нюансы и подводные камни в производительности, или с ошибками в работе кода.
Как тогда создать свой знаковый тип, как указать это компилятору? Создать struct - и компилятор поймет, что тип делать знаковым?