:heavy_division_sign: rational approximation with bounded denominator - View it on GitHub