Next: No_Implicit_Conditionals, Previous: No_Fixed_Point, Up: Partition-Wide Restrictions
[RM H.4] This restriction ensures at compile time that there are no occurrences of floating point types and operations.