simplify definition of IEEE binary formats
simplify definition of IEEE binary formats

git-svn-id: 5946b2cb4fc56bd23736562a28413771320fb79a@25 86bd92fe-7125-43df-b379-c80660b36084

jgoizueta/float-formats,jgoizueta/float-formats