Absolute Values of Complex Numbers — Compute and reason about the modulus |a + bi| = sqrt(a^2 + b^2) of complex numbers.