            1. Assert: Type(_tv_) is Number.
            1. If _tv_ is *NaN*, return `"Invalid Date"`.
            1. Return an implementation-dependent String value that represents _tv_ as a date and time in the current time zone using a convenient, human-readable form.