Fix infnum addition/subtraction
Two (one at least) more quick fixes on the infnums