`0 || 10` — that's weird... Why isn't the default value `1.0E-12` like above?