Li-Fan Chen
says to
YSITD
話說 有哪種語言能表示真正的 sqrt 2