[math-fun] More on (Moron?) Infineon primes bug