result_double


Description:

public void result_double (double value)