It’s surely a happy day for numbers geeks, unless they are impatient for 11/11/11. Which they likely are.