Python Cast Double To String