moved definition of double