In C#, do 5%3 to get the rest of the division 5/3. In OCL, you can do 5.IEEERemainder( 3 )

(Please note that modulus and remainder are not mathematically equivalent.

See also: https://rob.conery.io/2018/08/21/mod-and-remainder-are-not-the-same/)

See also: IEEERemainder documentation in .net