fix +inf+3