Splits this interval into two new intervals such that all
values <= to the parameter value reside in the first interval
and > the parameter value reside in the second interval
(e.g., given (3:5] to be split at 4, the result would be (3:4] and
(4:5]).