Uitgebreid zoeken op parameters met decimalen

Als je via Uitgebreid zoeken zocht op een parameter met een decimaal, werden ook parameters zonder decimaal getoond in het zoekresultaat. Zo leverde het zoeken op '15,00' ook resultaten met '1500,00'. Dit hebben we verholpen.