def num.fixed

emerging-ezjson@1.3.0.0 · main.bend:96

import Base
import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed

96# a number's text written with `places` decimals, rounded half to even on
97# its decimal digits (not through a binary float), as Python's `'%.Nf'`
98# writes a value whose decimal text is exact; None when the text is not a
99# JSON number. A `-` is kept even when the result is zero: `-0.04` to one
100# place is `-0.0`
101def num.fixed(raw: String, places: Nat) -> Maybe<&2, String>:
102  Fixed.fixed(raw, places)