Least common multiple: