Rewrite Times.double/1 using do: form