Pythonで切り捨て除算

丸め方を調べていて, 切り捨て除算なるものを発見した. 実際に整数型で丸めるのであれば割ってから単純にキャストしても良いのだが, この切り捨て除算を用いた場合はあくまでも実数型で帰ってくる.
計算速度的にも速いのだろうか. だとしたらキャストする場合でもこれを用いた方が良いのかな.

>>> print 10.0 / 3
3.333333
>>> print 10.0 // 3
3.0

http://d.hatena.ne.jp/mowamowa/20070830/1188484371