We may want to pretty print Time.now, there are several places where we do this in whiteboard.