I feel stupid asking, but I have a number of WAV files that I want to encode to WMA lossless, but I can't figure out how. Windows media player doesn't seem to offer transcoding and windows media ...

What are the numbers? You can encode 9,999,999,999 in 5 bytes. If you want to store the number in human readable bytes, convert it to Base64 encoding or similar.