PanLinx: с удвоенной точностью

русский	rus-000
с удвоенной точностью

English	eng-000	double-precise
English	eng-000	double-precision

PanLex-PanLinx