Comparing the intensity of exchange market intervention with Frenkel and Aizenman's index of managed float