change rest of int/fp conversion docs to use new P/S/E-type naming
[libreriscv.git] / libera.txt
1 libera-verify-319178327