Better handling of double values in audiopia::value::to_json().