Fix check_if_positive_fixnums

This check passed wrongly when neither of the arguments was a fixnum.
This changes the check to make sure that or'ing and and'ing the tags
both result in a tag equal to the fixnum tag.

Fixes #2153