The Octahedron Abstract Domain