toDouble

open fun toDouble(): Double

Converts this Asn1Real to a Double. Beware of possible loss of precision!