PanLinx
English
eng-000
temporary real
русский
rus-000
временное вещественное число
PanLex