fix int is_* type