I have a question regarding the rounding methods to nearest -infinty and +infinity.

In the lecture videos for the case "nearest -infinity", we say at the corner cases .5 it get rounded down, but the formula is with ⌈x − 0.5⌉. I would interprete this as if you have x=2 then we get such a corner case 1.5. With the positive gauss brackets we are supposed to round up to 2. This would conflict to the video, where we would round down at those corner cases.

For "round to nearest +infinity" its just the other way around.

Did i misunderstand something in the lecture videos or is this a mistake?

Thank you in Advance.