Use ng input[number] directive for integer filters

https://www.openproject.org/work_packages/9825