code: def time_str (time_t, slug = False):
    '''Converts floating point number a'la time.time()
    using DEFAULT_TIMEFORMAT
    '''
    return datetime.fromtimestamp (int (time_t)).strftime (
      DEFAULT_SLUGFORMAT if slug else DEFAULT_TIMEFORMATf time_str (time_t, slug = False):
    '''Converts floating point number a'la time.time()
    using DEFAULT_TIMEFORMAT
    '''
    return datetime.fromtimestamp (int (time_t)).strftime (
      DEFAULT_SLUGFORMAT if slug else DEFAULT_TIMEFORMAT)
docs: Converts floating point number a'la time.time()
    using DEFAULT_TIMEFORMAT