[FFmpeg-devel] [PATCH] Implement the function cmdutils.c:parse_int_or_die

[D. Hugh Redelmeier]

| From: Rich Felker <dalias at aerifal.cx>

| On Wed, Feb 20, 2008 at 02:01:36AM -0500, D. Hugh Redelmeier wrote:

| > I'm not sure what you mean.

| No, rather x<=DBL_MAX is the same as x<INFINITY

One might be surprised.  I think that temporary reals in x87 have a
larger dynmaic range that double.  So in an efficient
(not-strictly-conforming) implementation these might not be the same.

FP is quite odd and tricky.

As far as I am concerned, the fewer axioms you count on, the better.