A millisecond used to be a big deal for the world’s quickest traders. A dispute over huge trading profits at one of the world ...