The search functionality needs JavaScript enabled
Returns the double value of the most recently read token.
double doubleValue() const;