dhall-fly-0.2.0: dhall-concourse/render/optionals/natural.dhall

let JSON = (../../lib/prelude.dhall).JSON

in  ./generic.dhall
      Natural
      (λ(n : Natural) → JSON.number (Integer/toDouble (Natural/toInteger n)))