{"mnemonic":"d2f","opcode":144,"category":"conversion","shortdescr":"Convert `double` to `float`","specref":"jvms-6.html#jvms-6.5.d2f"}