Did you know that one can list every positive rational number without repetition by breadth-first traversal of the Calkin–Wilf tree ?