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