Fix issue 3692 and modify tests accordingly
Tests for issue 3692
test_arit.py: tests for Mul.is_rational