Fixed subtraction in the Choco backend.