Optimise push badge count calculations. Contributed by Nick @ Beeper (@fizzadar).