Time: Make argument to @at optional. (Replacement for GH-533 that does not need nesting.)