Not really, in the example of df, I was filtering on the basis of size, which is...

_iostreamer_ on May 1, 2017 | parent | context | favorite | on: FuncShell – A Haskell-based alternative to awk

Not really, in the example of df, I was filtering on the basis of size, which is not int usually but a decimal value, hence I had to provide the type hint.