Entrambi precision e scale le proprietà funzionano solo con il decimal tipo di mappatura ( collegamento
). Ti suggerisco di usare il decimal digitare.
Quanto al motivo per cui sta creando un doppio campo invece di float, non sono del tutto sicuro. Probabilmente ha a che fare con la compatibilità con tutti i database supportati. Non vedo menzione di double tipo di mappatura, quindi presumo che utilizzino lo stesso tipo per entrambi.
