Retro, the code is correct as it stands.  Floor division is intended
(int // int --> int).  I think you've misunderstood true division where
the / operator used to mean floor division when supplied with integer
arguments but now returns a float instead.