まあ無限小数で実数を定義ってのもないわけではないけどな