Fix #7 -- always use real division.
Merge pull request #12 from dbrnz/real_division

Fix #7 -- always use real division.