fix +inf+2