Documentation: fix a typo 'IEE754'