Fix parseInt(), bug #1563