gagliardetto: Query to detect incorrect conversion between numeric types

How it was found

The write-up for this report has not been downloaded yet, or the program disclosed it without one. Read it on HackerOne.