def is_integer
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
1030# finite with no fractional bits
1031def is_integer(+x: F64) -> Bool:
1032 Bool.and(is_finite(x), ii_fin(x, Nat.is_le(3000n, dexp(x))))
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
1030# finite with no fractional bits
1031def is_integer(+x: F64) -> Bool:
1032 Bool.and(is_finite(x), ii_fin(x, Nat.is_le(3000n, dexp(x))))