Actually use the 32 bit module for Targetint_32_64 for ocamlj

Actually use the 32 bit module for Targetint_32_64 for ocamlj #3327