id Summary Owner Type Priority Version Resolution 1520 binary-search: test failure: (=) bad argument type - not a number: #f defect major 5.0.0 fixed