fix #230: plus infinity