Fix more 32-bit errors with domain and tt_int_op