[math-fun] Microsoft announces move to nonary numbers