>>16
分数から無限小数への変換は君が言うとおり(?)定義してもとりあえず無矛盾なのでは?