reinstated Rational multiply tests
added divide properties and demos