Definition:Complex Absolute Value