RH6.1 coredump: float("10.01")

[Jeff Bauer]

[ Jeff gets a Segmentation fault using float() ]

Tim Peters responded.
> Look for platform library (libc and/or libm) corruption
> or mismatch.

Thanks to Tim and others.

I took the easy way out.  Rather than track down the
errant library, I simply upgraded to RedHat 6.2.

fixed-the-problem-and-hid-the-evidence-ly y'rs,

Jeff Bauer
Rubicon Research