I just tested Google Play Music, and it's streaming in MP3 for me (Chrome on Mac). Maybe it streams using different formats for different platforms, though?