[FOLD] remove unused operator double as per comment