Just a shameless self-plug, I made a package PrecisionCarriers.jl a few months ago, with the very similar purpose of finding precision loss at specific numeric values, providing an interface to “benchmark” arbitrary functions easily.
Maybe the two packages could be coupled or merged in some way?
I also made a post on discourse about it before.