Antenna now uses a skill.
Anyway, I wonder what is the difficulty ^ 4 thing supposed to do.
Bitwise XOR with 4 will add 4 when difficulty is 0, 1, 2, 3, 8, 9 and 10, but subtract 4 when difficulty is 4, 5, 6 or 7.
So, 11 first values of difficulty ^ 4 are: 4, 5, 6, 7, 0, 1, 2, 3, 12, 13, 14, 15
The comment above it says “worst case is lvl 10 which will take 10^4/10 (1000 minutes)”, which seems to imply the author thought ‘^’ operator means “power” rather than bitwise XOR.
If x_in_y wasn’t done on floats, it would probably crash the game when an unknown recipe with difficulty 4 is used. Thanks to floats, x_in_y(positive, 0) always returns true.