Least common multiple

::=