computers theoretically need only one machine instruction (subtract one number from another and branch if the result is negative)

This is a useful approach to error handling, but please don’t take it to extremes! See my post on “Against Railway-Oriented Programming”.