ну, если исключить божественное вмешательство, то скорее всего переполнение всё же есть и где-то сумма знаков больше 77, либо где-то один из множетелей 0. На сколько я понимаю, код, который падает, вот этот:
https://github.com/dapphub/ds-math/blob/master/src/math.sol#L26 ? Мож там как-то получается, что на 0 делится?
Если юзаешь хардхэт, то можешь законсольложить значение прям внутри смарта и посмотреть