/fixed_points.adb/1.8/Sat Jan  1 15:33:32 2011//
D
