Added a No_Floating_Point restrction.