printfn "%09.3f" 7.125f