Representing numbers: Cardinals