Issue #156: allow USING$() to use TIME() output for integer formats.