vonuvoli_scheme::exports
pub const ZERO_REAL_POSITIVE: NumberReal = NumberReal(0.0)
=
NumberReal(0.0)