time: use NanSymbol()