Consider the question. In IEEE 754-2008 the 32-bit base-2 format is officially referred to as binary32. It was called single in IEEE 754-1985. In older computers, different floating-point formats of 4 bytes were used, e.g., GW-BASIC's single-precision data type was the 32-bit MBF floating-point format.

Ieee single precision floating point number in binary?
If the answer is 'binary32'; explain the reasoning:
To answer the question, consider the following: In IEEE 754-2008 the 32-bit base-2 format is officially referred to as binary32.