"An instance of [[Float]] representing positive infinity, 
 \{#221E}, the result of dividing a positive number by zero. 
 Negative infinity, -\{#221E}, the result of dividing a
 negative number by zero, is the additive inverse `-infinity`.
 
 Note that any floating-point computation that results in a
 positive value too large to be represented as a `Float` is 
 \"rounded up\" to `infinity`. Likewise, any floating-point 
 computation that yields a negative value whose magnitude is
 too large to be represented as a `Float` is \"rounded down\" 
 to `-infinity`."
tagged("Numbers")
native shared Float infinity;

native("jvm") shared Float infinity { 
    import java.lang {
        Double
    }

    return Double.positiveInfinity;
}

native("js") shared Float infinity { 
    dynamic {
        return \iInfinity;
    } 
}