IEEE floating point

  1. REDIRECT IEEE 754

{{R from move}}