support for TFF0 with arith
enable $to_int, $to_rat, $to_real, $is_int