Title: Number extensions