Full threadjrrv·Am I missing something or is the author using dots for both breaking up large numbers and also for decimal points?View on HN