fix opt_double, add more document