La multiplication fournit quand même un résultat 32 bits, et le numérateur de la division est sur 32 bits.