Surprised to see that `5.0 // 2.0` in #Python, despite being integer division, returns floats.