PanLinx
Deutsch
deu-000
Fliesspunkt
English
eng-000
floating point
PanLex
