Fix for bug #1462 in the OCaml Forge "For large number, Zarith.Z.to_float sometimes returns +inf and sometimes -nan". Multiplying 0 with +oo caused NaN to appear in "x += m * ..."; x should actually be unchanged in that case.
Fix for bug #1462 in the OCaml Forge "For large number, Zarith.Z.to_float sometimes returns +inf and sometimes -nan". Multiplying 0 with +oo caused NaN to appear in "x += m * ..."; x should actually be unchanged in that case.



git-svn-id: bb46ae2832935a45e52b08e622bf44fc5f7c5bba@94 198b03b0-60d5-47cb-a09e-f81db6e26457

bobot/zarith,bobot/zarith,bobot/zarith