How do you convert a fixed point say (sfxp 32 10) to (sfxp 64 16) and vice versa?

I saw that in the paper there is a function called "_ to_sfxp tb sb" but, how is it implemented here? What is the exact smt function used? If possible can you upload an smt file in QF-FXP which showcases the use of this function?