Method toDouble

source/python.js:13341–13343

()

                return this.tag === 'Double';
            }
            toDouble() {
                return this.value;
            }
            isComplexDouble() {
                return this.tag === 'ComplexDouble' || this.tag === 'Complex';
            }