Documentation: fix a typo 'IEE754'

Reported on IRC by _savage