Returns the least common multiple (LCM) of two integers a and b
using the relationship `LCM(a, b) = |a * b| / GCD(a, b)`.