a double-precision floating-point instruction-set support. Zfinx also reduces available user registers, and seven unprivileged CSRs (vstart, vxsat, vxrm, vcsr, vtype, vl, vlenb) to a small number of integer registers.