double (FSharp.Core)