Avoid constant too large for 32-bit platforms. (reported by opam regression test)