def fmt_frac3

import bend-prot@0.1.0.0/pdb.bend as Pdb

import Base

506def fmt_frac3(f: F32) -> String:
507  pad_zero(Nat.show(F32.to_nat(F32.floor(((f * 1000.0 : F32) + 0.5 : F32)))), 3n)

Uses (8)