Likely Bugs/PossibleLossOfPrecision.ql