type-hinting: Support double()

This add support for `double(...)` type hints, both to the library, and to type-hint using modules (mongodb & format-json).