fix +inf+1