It really is:

There are 10 kinds of people in the world: Those who know hexadecimal, and F the rest...