IEEE floating-point standard

  1. REDIRECT IEEE 754