[polyml] Poly/ML 5.9.1