Java: Jasmin : doubleをint２つとして取り扱うことはできるか？

Jasminをインストールして実験してみた。

.method public static main([Ljava/lang/String;)V
.limit stack 3

getstatic java/lang/System/out Ljava/io/PrintStream;

ldc 1
ldc 1

invokevirtual java/io/PrintStream/println(D)V

return
.end method

というプログラムを実行すると

$ java test
Exception in thread "main" java.lang.VerifyError: (class: test, method: main signature: ([Ljava/lang/String;)V) Expecting to find double on stack

となって、ダメでした。まあ、それはそうかなぁ。残念だけど。