PanLinx: число с плавающей запятой

русский	rus-000
число с плавающей запятой

English	eng-000	floating-point number
русский	rus-000	число с плавающей точкой

PanLex-PanLinx