Allow cast from int to double in xmlrpc helpers

Fixes #28