President Barack Obama Tipped Big After Meal

The leader of the free world President Barack Obama has done something only great men do ... he tipped his server ON TOP of already added gratuity. He DOUBLE TIPPED!
Obama stopped for lunch in Rochester, NY Thursday at a little deli called Magnolia's. It was widely reported that the Prez ate a grilled cheese and some cream of tomato soup. Big stuff.

But what you didn't know ... Obama not only bought lunch for his secret service men (the ones who checked the place for WMD's before hand) ... he also double tipped his waiter, like a champ.

TMZ obtained a copy of the receipt ... his total bill for 9 people was $89.84. The restaurant added a 20% tip for the large party -- $16.64 -- but Obama felt more needed to be done. He gave an additional $30.