pub fn is_limited_relative<V: TowerValue>(v: &V, at: &V) -> Result<V, String>
Bounded by a value of at and of the infinitesimals larger than it.
at