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

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

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

PanLex-PanLinx