|  | Home | Libraries | People | FAQ | More | 
Push a number onto the stack.
void push_double( double d);
This function pushes a number value onto the stack.
          Basic guarantee. Calls to memory_resource::allocate
          may throw.
        
| Name | Description | 
|---|---|
| 
                     | The number to insert. |