double()

Not documented.