The fastest double-to-string algorithm you've never heard of