3 ms·The `!` already means "diverges", I don't love the re-purposing of this here.by nixpulvis 8y agoThe `!` already means "diverges", I don't love the re-purposing of this here.