Double constant defined