module WAG::Instruction::F64