DIV0 A division by zero This bug is part of a collection of different bugs meant to be anaylzed for academic research. These tests are open source and the full analysis and code will be available in a scientific paper later on.