use get_value(s) to get real valued output in asp/arts again