3 ms·Another very interesting question closed as off-topic.by strictfp 14y agoAnother very interesting question closed as off-topic.