double add (double, double);