new java_lang_Double( x$1 // java.lang.Double:Double )
new java_lang_Double( x$1 // java.lang.String:String )