division of integers (e.g. the result of "7 / 2" is now "3.5" rather than "3") - resolves #26