Ventajas de usar el truncamiento hacia el infinito negativo frente a cero

Me preguntaba cuáles son los beneficios de usar el truncamiento hacia menos infinito (Haskell, Ruby) en lugar de truncamiento hacia cero (C, PHP), desde la perspectiva de la implementación de lenguajes de programación / compiladores.

Parece que truncar hacia menos infinito es el camino correcto, pero no he encontrado una fuente confiable para tal reclamo, ni cómo esa decisión afecta la implementación de los compiladores. Estoy particularmente interesado en posibles optimizaciones de compiladores, pero no exclusivamente.

Fuentes relacionadas:

División en Haskell

¿Cuándo es útil la diferencia entre quotRem y divMod?

Respuestas a la pregunta(3)

Su respuesta a la pregunta