Edit File: double.h