Scan.number.pow10: def of gralha-text-scan@0.1.0.1
Import: import gralha-text-scan@0.1.0.1/scan.bend as Scan
Lines 167-170 of gralha-text-scan@0.1.0.1/scan.bend: https://jend.leeeet.dev/read.txt?path=gralha-text-scan@0.1.0.1/scan.bend&start_line=167&end_line=170

import Base

def number.pow10(n: Nat, +acc: F32) -> F32:
  match n:
    case 0n: acc
    case 1n+d: number.pow10(d, (acc * 10.0 : F32))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat