// дано: let exampleSeq = seq{ 555; 11 } //

задача:
// получить из exampleSeq число 555.011

// решение:
let high'f = exampleSeq |> Seq.take 1 |> Seq.exactlyOne |> float
let low'i = exampleSeq |> Seq.tail |> Seq.take 1 |> Seq.exactlyOne
let low'f = float low'i

high'f |> printfn "//=> high'f = %f"
//=> 555.000000
low'i |> printfn "//=> low'i = %i"
//=> 11
low'f |> printfn "//=> low'f = %f"
//=> 11.000000
printfn ""

pown 10 (low'i.ToString().Length + 1)
|> float
|> (/) low'f
|> (+) high'f
|> printfn "//=> result = %f"
//=> result = 555.011000


чёт как-то хреново это выглядит...
[
особенно через строку кол-во знаков у числа получать :)
мне просто лень было делать отдельную ф-цию с нормальным получением числа знаков
]
может более православные способы для этого есть?

https://sharplab.io/#v2:DYLgZgzgNALiBOBXAdlAJiA1AHwPS4AJAWEEAYQQXhBA+EBAFgAoYAUxgJYYA8BDAWwAdGBlBgEcCAXgIRhAbwIBWeQG4CARmUEAvnTr4CgdhASpQOIgJGrR2B+EAqBuEEDCIIcAcIICEQQDIgBe7oLtufBoJEPAQRArCjl5ADoABlUtM0JAARBAVhBACRAEsnsE00ZmFgALAEsAcxyAcjAxT05eAWEWWrq67AA+Aj8wmA4AawYVAiaW4TCvAGMYYABPAHlkbr6wYAB7Dhg6LNqFgHdivJZxLyrfGr7W9rzgXubjzu61I4Hh0cnplaY1+c2y8rnF5g2tmPyiqVzgQePA8sgYGBkAQAET4UTNAElMriACkYBhKzeWxYfVB4Mh0LhuARBF+23KqLymPo2I+eLBEKhsPhzV+HzRGLo+KZRJp3Le0OUEQIAApyWEACrzfgwRkFUUASjCABkGMgCjAcgRMCpFXRZgslgbmqLcIqyXSTWLMBakaVrTzCSySc14AwIIhgMxOfzYgRDIBFEEcBEAXCAkUMAWkcIUAoiCJSiAJhAQoBZEBjBETgGkQQDMIFZAPIgRCcYWL2kIAG1S7UKAEKIBGEFSlADCUSHgCjjiFFDNjD1kjyb0ZAjFETBG7gSsJAIllsxhcBBA+v9LEAPCBkBJTjttkJWVKuWuZ4LEBITucURxEY/OMg2QByIARACIgkcAYiD2O8BAiUOLLkhWK+Z5dTtYdipOkAHjpOuiDqGw6VgAupWy4UIAbCAJCGtbWAk67mHEJDJkEuFkJm64BJYNb7sQ+YEGmFDZiECRts4AD8QA

Деление на 10

яннп :)

ты про отдельную ф-цию, в которой делим на 10 до тех пор пока целая часть в ноль не улетит и т.о. получать число знаков в числе? это вербозно очень - я ж написал, что ради примера мне лень было эту ф-цию писать (она тупо отвлекала бы от задачи) вопрос задан с целью "а вдруг есть какой-то волшебный метод у Seq, который я в упор не вижу, изящно решающий задачу" :)

Такого метода нет, но ты можешь попробовать fold

По какому правилу 11 стангвится 0.011?

количество знаков в числе +1 11 -> 0.011 (2 + 1 -> 11 / 10^3)

123 станет 0.0123?

ага