High-frequency traders are firms all around the world. They're massive investments.