def Decimal.read
import bend-kit-bignum@0.1.0.0/decimal.bend as Decimalimport Base
431# [+-]digits[.digits][(e|E)[+-]digits], a superset of JSON's number grammar
432# (it also takes a leading + and leading zeros). The scale is the number of
433# fraction digits less the exponent, floored at zero: "1.50" has scale 2,
434# "1.5e1" is 15, "25e-3" is 0.025.
435def Decimal.read(s: String) -> Maybe<&2, Decimal>:
436 Decimal.read.fin(Decimal.read.go(s, Begin{}))