Function is_infinitesimal_relative 

pub fn is_infinitesimal_relative<V: TowerValue>(
    v: &V,
    at: &V,
) -> Result<V, String>

Zero, or smaller than every positive value of at and of the infinitesimals larger than it.