DOUBLE-PRECISION NUMBER Англо-русский перевод DOUBLE-PRECISION NUMBER число с двойным количеством разрядов, проф. число с удвоенной точностью Big English-Russian dictionary . Большой Англо-Русский словарь. 2012