{"comment":{"url":"https://api.github.com/repos/marklrh/abstract_floats/comments/16898090","html_url":"https://github.com/marklrh/abstract_floats/commit/91637f636d4a2cbde8180331ab271df4fd5d088a#commitcomment-16898090","id":16898090,"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":76,"line":636,"path":"float.ml","commit_id":"91637f636d4a2cbde8180331ab271df4fd5d088a","created_at":"2016-03-30T15:53:32Z","updated_at":"2016-03-30T15:53:32Z","body":"I am thinking that when this happens, then the best solution is `x` (the same as the abstract float as input), because every value in `x` makes the equation true for the choice of NaN for `a` and `NaN` for b… Maybe the structuration of the computations that worked well for direct operations is not so useful here."}}