By using seed we are going to generate the same values every time. If the table has at least 3 entries then by rounding the values 2 of they are going to be the same and we can cause the bug
Triggering the Bug
The count() approach is mostly useless as the statement till the where clause is going to be fixed by the application we can only control the part that comes after the where clause