or MCS dS0 LREAL

modified. Pre: 0 <= x

Mode EIntersectMode xElem0

modified. Pre: 0 <= x

, otherwise 0. The pointer

, otherwise 0. The pointer

, otherwise 0. The pointer

, otherwise 0. The pointer

’(x) = 0, then an

, otherwise 0. The pointer