{"comment":{"url":"https://api.github.com/repos/marklrh/abstract_floats/comments/16684418","html_url":"https://github.com/marklrh/abstract_floats/commit/1aa346efde48da2c1d898feb28e2bb9b2a57b54f#commitcomment-16684418","id":16684418,"user":{"login":"pascal-cuoq","id":1143690,"avatar_url":"https://avatars.githubusercontent.com/u/1143690?v=3","gravatar_id":"","url":"https://api.github.com/users/pascal-cuoq","html_url":"https://github.com/pascal-cuoq","followers_url":"https://api.github.com/users/pascal-cuoq/followers","following_url":"https://api.github.com/users/pascal-cuoq/following{/other_user}","gists_url":"https://api.github.com/users/pascal-cuoq/gists{/gist_id}","starred_url":"https://api.github.com/users/pascal-cuoq/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pascal-cuoq/subscriptions","organizations_url":"https://api.github.com/users/pascal-cuoq/orgs","repos_url":"https://api.github.com/users/pascal-cuoq/repos","events_url":"https://api.github.com/users/pascal-cuoq/events{/privacy}","received_events_url":"https://api.github.com/users/pascal-cuoq/received_events","type":"User","site_admin":false},"position":52,"line":1528,"path":"float.ml","commit_id":"1aa346efde48da2c1d898feb28e2bb9b2a57b54f","created_at":"2016-03-14T16:00:33Z","updated_at":"2016-03-14T16:00:33Z","body":"I don't think that this should be needed. The signs of the bounds being multiplied, and whether it's negated by the representation, is always known. Also the expected sign of the result and whether it's negated by the representation is know. The is no reason to use `is_neg` at all here."}}