Bugfix: forgot about python3 int/int -> float division.  Fixed.