Some progress in restricting division by 0.. No real luck yet.