Return a double pointer if this is a double, else return nullptr

double const*
if_double() const;
  » more...

double*
if_double();
  » more...