Previously when I asked about converting types, I got this useful suggestion:
For mutez, you could start to convert to int (by dividing by 1 mutez) and then use the same techniques.
I'm wondering if there are any similar tricks specifically to go from mutez to bytes, or int to bytes. Ideally tricks for doing so that can be done in SmartPy.