First Practical and General-purpose Range Filter - View it on GitHub