v0.1.5 fixed bug in div()