------- Additional Comments From simon at pushface dot org 2005-08-23 20:55 ------- The behaviour with -gnato and without is the same. On the other hand, 'digits 18' fails as shown,'digits 9' gives the exception ... and 'Machine_Overflows is True.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23519
