double.h revision 303ada708275d2d425b846fb237f1ba7598ee239
1