F# numerical library