tests for div()
tested dot