Added support for subnormal value

Per the AR committee's guidance, all instructions in this extension are permitted to consume or  produce subnormal numbers.
Clarified that these extensions require the F and Zfbmin extensions.

Clean-up and clarifications.