pub fn number_to_string(v: &IDLValue) -> String