Qual è la funzione per trasformare un intero in un double (con una cifra decimale)? Di sicuro esiste, ce l'hanno tutti i linguaggi di programmazione, ma non sono riuscito a trovarla