The arithmetic operators do not seem to include an option of external carry, or overflow detect.

Without this, multi-word precision becomes virtually impossible. Yet every actual ISA has it.