僕はこう考えたんです。
プログラムだと、ある関数が返す型は一定です。
文字列変数に対し演算を行おうとすれば（だいたいの言語なら）エラーを吐くように、
まず変数がある型に沿って‘展開され’ます。

数学の右辺左辺はどのように展開され、
0.9999・・や1は、どういった型で返される数なのか？
型が実数だとすれば、実数の定義はなんなんでしょう？
そこがよく解りません。