def num.fin
import bend-kit-redis@0.3.0.0/redis.bend as Redisimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
264def num.fin(+neg: Bool, +len: U32, r: Array<U32> & U32 & U32 & Bool) -> Bytes.Bytes & Num:
265 (a, hi, lo, ok) = r
266 (Bytes.Bytes{len, a}, Num{neg, hi, lo, ok})