DaytonaJohn

On a recent cruise I deposited some of my onboard credit into a slot machine, but had to leave before I got started playing. I did the usual cash out thing and collected my cash at the casino cashier desk. Later, I realized that I had converted my onboard credit to cash, which I had thought was impossible. Has anyone else ever done that? Is this typically a way to cash out unused onboard credit?