Maybe Unicode numbers aren't such a good idea after all