At this point in the code, something else has already turned this into an int, right? I believe we saw something along those lines when you gave me the tour today, but just wanted to make sure.