Not necessarily, I would think terms can be converted to numbers like how the Ruby vm compiles symbols.