I was looking at this video CppCon 2018: Dan Saks “Making New Friends” please look here
I this talk, he refers to a (hypothetical) rational number class (which has nu
