PanLinx
Deutsch
deu-000
doppelte Präzision
English
eng-000
double-precision
日本語
jpn-000
倍精度
PanLex