def fuel

bend-collections@1.0.0.0 · src/math/generic.bend:43

import Base

43# enough steps for every loop at 64 bits (Euclid < 1.5 w + 2, bit loops w)
44def fuel() -> Nat:
45  140n