Incorrect IEEE Floating-point standard number: 754, not 794.

 - See https://en.wikipedia.org/wiki/IEEE_floating_point