Microsoft Profit Down 18%, Which Is Better Than Anybody Expected