Divisione in virgola mobile in un file batch

Devo fare una divisione in virgola mobile in un batch dos.

Non ho trovato un modo per farlo. Qualcosa come questo :

SET /A Res=10/3 

restituisce un numero intero.

È ansible farlo?