translate (int_of_num n) properly, but still fails

because we actually need to translate f o int_of_num and int_of_num o f
attempt to translate combinations of int_of_num with other funs

now translation of compile_top fails in a less understandable way...