libctf: get the encoding of non-ints/fps in the dynamic space right