A number prettification project