PKs need not be unsigned ints. They could be anything.