Rounded​(AngouriMath.​Entity,​System.​Boolean,​System.​Boolean)

The floor of argument, or with up its ceiling, as
the facts in scope write it, or null where they say nothing about it.
A whole argument is its own floor and ceiling. A whole term comes out of either,
floor(y + n) = floor(y) + n. A negated argument turns one into the other,
floor(-y) = -ceil(y). And the ceiling of a real argument that is not whole is one
above its floor, which is the form the others end in. The nodes are taken
componentwise on the complex plane, where the first three hold as they do on the real
line and the last does not, so it asks that the argument be real: the ceiling of
i/2 is i and its floor is 0. Sullivan and Mackey's Prob 1.5.6,
floor(x) + floor(1 - x), is 1 for a whole x and 0 for any
other real one.