Create seal_stringToDouble.h