fix int_t64