Subtraction with Guile integers