And how are symbolic variables inside gcd handled? Are they assumed integers?