Absolute Value Inequalities (#451)