added double to encoding