fix div()