Cambio da float a double

Essendo i float troppo imprecisi, usiamo i double per comodità. Bug
trovato da Nava Nicholas