Я взял китайцев из numeric-prelude. Попутно выяснил, что у них в хаддоках чушь написана, контактовал поддержателя, он просит патч ему выслать :-( до сих пор на дарксе сидит, бедолага
но там в процессе вычислений есть сумма из трех слагаемых, каждое из которых это произведение четырех чисел. Думаю, что там могло случиться переполнение