fix broken priority check on integers