短语词组短语rational real number detail 有理实数rational approximation of real number 实数的有理逼近 返回 rational real number