now uses Ginac's numer().is_zero() instead of just is_zero() which is not always clever enough to detect zero-ness