Enables value bounds inference through signed division operations.
See https://mlir.llvm.org/ for more information.
