void value(double value, const basic_parsing_context<Char>& context) { do_double_value(value, context); }
void value(double value) { do_double_value(value); }