improve DirectedInfinity formating and fix Abs bug