propagate_double


Description:

public double propagate_double () throws Error