Is there any standard, say ISO standard, for interval (in miliseconds) between to taps ( clicked on touch devices) which assumed as double tap? I guess it should be long enough to allow slower users to double tap, but not so long that leads to mistakes.