implement fjda_value_to_s()