Make animation IDs use integers. FIXES #2