Formato a precisione doppia in virgola mobile