Full threadudev·Yes, and you need about 12 digits to write the net worth of Bill Gates, which is to say this does not matter as much as you think.View on HN