PR# 18706 {STRING}.to_double gives incorrect result for very large exponents

Problem Report Summary
Submitter: prestoat2000
Category: EiffelBase
Priority: Medium
Date: 2013/09/27
Class: Bug
Severity: Serious
Number: 18706
Release: 7.3.92766
Confidential: No
Status: Open
Responsible:
Environment: Solaris 10 on SPARC
Synopsis: {STRING}.to_double gives incorrect result for very large exponents

Description
A call to {STRING}.to_double correctly returns the string "Infinity" for
some strings with large exponents.  But for other very large exponents, it returns either "0" or "10".

Discovered while stress testing some of my software.

To Reproduce
Compile with attached class and config file.
Run test program.
Examine program output.
Problem Report Interactions
From:prestoat2000    Date:2013/09/27    Download   
Attachments for problem report #18706

Attachment: test9.e     Size:713
Attachment: test.ecf     Size:865