Making Double (Explicit)

Making Double (Explicit)