def number
import gralha-http-core@0.1.0.0/http.bend as Httpimport Base
211# A decimal number made of digits only, as Content-Length is.
212def number(+s: String) -> Maybe<&2, U32>:
213 when(Maybe<&2, U32>, digits(s), _ => U32.read(s), _ => None{})