Integer division (was: Case-sensitivity... (was: Damnation!))

[Greg Ewing]

Bernhard Herzog wrote:
> 
> This could be alleviated by introducing a special integer division
> operator.

I'm assuming (hoping!) that's what Guido means -- that
there will be two different division operators, one
always meaning integer division, and the other always
meaning real division.

If compatibility is a concern, the existing "/" could
be left as it is, and two new operators introduced
(although if that were done, the use of the old "/"
should be vigorously deprecated in the documentation,
and never even mentioned to newbies).

-- 
Greg Ewing, Computer Science Dept,
+--------------------------------------+
University of Canterbury,	   | A citizen of NewZealandCorp, a	  |
Christchurch, New Zealand	   | wholly-owned subsidiary of USA Inc.  |
greg at cosc.canterbury.ac.nz	   +--------------------------------------+