A note on unbounded metric temporal logic over dense time domains