Fixed the dev tools event filtering to deal with differences in double precision when filtering requests.