Es geht hier um eine auf x86_64 beschränkte ABI für Linux.

Mit "Integer" ist nicht spezifiziert welcher gemeint ist. Und die native Einheit auf der CPU ist 64bit, egal wie das eine Sprache wie C dann nennt. Aber ist ja auch egal. Keine Lust mehr. Tschau.