add formula for double-conversion