Create seal_doubleToString.h