move definition of Double