def is_finite

bend-collections-laws-math@1.0.0.0 · src/math/f64.bend:78

import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64
import Base

78def is_finite(+x: F64) -> Bool:
79  Nat.is_lt(exp_field(x), 2047n)

Uses (4)

Used by (2)