DuckCorp

DuckCorp Dico

(RFC 2229 compliant dictionary server)
more options

Found one definition 

  1.                 From English-日本語 (にほんご) FreeDict+WikDict dictionary ver. 2022.11.18:
                

    
                
                  
    real number /ɹˈiəl nˈʌmbə/ <n>
実数
limit of a convergent sequence of rational numbers