Add casting of output value, too.