29.3 No Floating Point Support
There is no floating-point support in the EBC virtual machine, which means that
the type float
is not supported by the Intel(R) C Compiler for EFI Byte Code.
If a UEFI Driver is being ported to EBC and the UEFI Driver uses floating-point math,
then the UEFI Driver must be converted to use fixed-point math based on integer
operands and operators.