does int always round down python code example

Example: python round down

>>>import math
>>> math.floor(1.6)
1
>>> math.floor(2)
2
>>> math.floor(3.9)
3