Reuse the variable introduced in GPR#2083 for integer operations symbols (#2260)
Reuse the variable introduced in GPR#2083 for integer operations symbols (#2260)

No change entry needed
gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml