[ref_impl_eiffel] [962] Revision 956 added an override class for FORMAT_DOUBLE.

Revision: 962
Author: peter.gummer
Log Message: