Fixed the conversion of a position integer to a double in the wimp server. Checking for doubles is now done in the loadarguments() in the productAgent. Also some micro edits.