fix Infinity+Infinity