id Summary Owner Type Priority Version Created 1520 binary-search: test failure: (=) bad argument type - not a number: #f defect major 5.0.0 08/21/18 21:33:58