> There's no reason why I/O space addresses (for example), machine registers, etc. can't have types or bounds. Machine registers are usually typed, i.e. there

> There's no reason why I/O space addresses (for example), machine registers, etc. can't have types or bounds. Machine registers are usually typed, i.e. there are floating-point registers with specialized instructions and integer registers with their own instructions.