IEEE floating-point

  1. REDIRECT IEEE 754