Reference: floor

⌊x⌋ = floor(x) returns the largest integer smaller than or equal to x, i.e. rounds x to the nearest integer in the direction of -∞.