double precision number倍: times精: refined; picked; choice数: frequently; repeatedly倍精度: double precision倍精浮: double precision下载手机词典可随时随地查词查翻译
