[ref_impl_eiffel] [956] Add an override class for FORMAT_DOUBLE.

Revision: 956
Author: peter.gummer
Log Message: