Normalisation fails on division by zero: add testcase
Remove dead code to not maintain it

Otherwise, this code would stop compiling with next commit.
Fix normalization: residualize division by zero