The 'requires' directive takes a list of "software extensions"
The enable directive only allows a single name.
It should allow a list of them, to be consistent.

Eg..

enable f16, whatever_other_hw_feature, f64;