128bit: Fix typo in uint128.h causing incorrect subtraction.