Type cast from real to time