PanLinx
русский
rus-000
ультравещественное число
English
eng-000
ultrareal number
PanLex