Employ new RISC-V NaN encoding
-rw-r--r-- 24 .gitignore
-rw-r--r-- 1720 COPYING.txt
-rw-r--r-- 1253 README.html
-rw-r--r-- 1053 README.md
-rw-r--r-- 797 README.txt
drwxr-xr-x - build
drwxr-xr-x - doc
drwxr-xr-x - source