PR# 11593 {REAL_64_REF}.floor_integer_64 and related routines missing

Problem Report Summary
Submitter: prestoat2000
Category: EiffelBase
Priority: Medium
Date: 2006/10/27
Class: Bug
Severity: Serious
Number: 11593
Release: 5.7.64493
Confidential: No
Status: Open
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv: Gecko/20060915 Firefox/ Solaris 9 on SPARC
Synopsis: {REAL_64_REF}.floor_integer_64 and related routines missing

REAL_64_REF and REAL_32_REF should have floor_integer_64, ceiling_integer_64
and rounded_integer_64 routines but do not.  I had to write my own and then
inherit the class that has them where I need these routines.  Please add

On an unrelated note, I noticed that there are still many references to DOUBLE
and DOUBLE_REF throughout the libraries.  I assume that the process of
switching from DOUBLE to REAL_64 and REAL to REAL_32 is simply not complete.
To Reproduce

Problem Report Interactions