Doubling numbers