Symbol: BIG_DIV_BY_0