Replace IEEE-754-1985 reference with IEEE-754-2008
Add static REC specs