push_float


Description:

public void push_float (string symbol, double value)