value_stack::push

`value_stack::push_double`

Push a double 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
`d`	The number to insert.