Create seal_stringToDouble_C.h