cardinal.infinite_iff source