Likely Bugs/Arithmetic/BadAbsOfRandom.ql