a special kind of double