RISC-V 32-bit double precision floating point extension
RISC-V 32-bit double precision floating point extension