I think casting is alright. I'm not sure what else we'd use as the value, and the value doesn't really matter anyway.