How do we format dates without strftime being available?