def Nat.read.fits
import Base2330def Nat.read.fits(+s: String) -> Bool:
2331 +n = String.length(s)
2332 Bool.or(Nat.is_lt(n, 15n),
2333 Bool.and(Nat.is_eq(n, 15n), String.is_le(s, "281474976710655")))
import Base2330def Nat.read.fits(+s: String) -> Bool:
2331 +n = String.length(s)
2332 Bool.or(Nat.is_lt(n, 15n),
2333 Bool.and(Nat.is_eq(n, 15n), String.is_le(s, "281474976710655")))