2 ms·this is the default in https://raku.org https://raku.orgby librasteve 2y agothis is the default in https://raku.org https://raku.orgfuzztester 2y agogood to know, thank you.