fix(numberFilter): correctly round fractions despite floating-point arithmetics issues in JS


Closes #7870
Closes #7878