Pour deux nombres
et
,
on a
.
Pour diviser deux mantisses sur p bits, on calcul le résultat sur p bits, plus deux bits supplémentaires : le bit de garde et le bit d'arrondi. Le reste donne la valeur du bit persistant.
Considérons 8/3, c'est à dire :
| 1, | 0 | 0 | 0 | 1, | 1 | 0 | 0 | |||||||
| 1, | 0 | 0 | 0 | 0 | 0, | 1 | 0 | 1 | 0 | 1 | ||||
| - | 1 | 1 | 0 | 0 | g | a | ||||||||
| 1 | 0 | 0 | 0 | 0 | ||||||||||
| - | 1 | 1 | 0 | 0 | ||||||||||
| 1 | 0 | 0 | 0 | 0 | ||||||||||
| - | 1 | 1 | 0 | 0 | ||||||||||
| 1 | 0 | 0 | ||||||||||||
| p | p | p |
oł g désigne le bit de garde, a le bit d'arrondi
et p le bit persistant. Pour l'instant, le résultat est
.
La normalisation donne
,
c'est à dire 2,5,
et l'arrondi
soit 2,75 (le résultat
correct est 2,6666...).