Remove double handling from object code
Remove double support from json deserializer
Remove "double"-entry from user documentation of API
Merge pull request #590 from matthiasbeyer/remove-double_support

Remove double support