`is_comparable` checks to see that you get a real (with precision, ideally); but as Tom notes, what you have will still work with `pos_int + 2` since `posint + 1` will still be postive. So what you have is fine.