Is this not resolved by the constraint that a, b, c are all integers?

"Each line of the subsequent lines contains three space-separated integers describing the respective values of a, b, and c for the query."