Div expression with tests; Divide expression returns real