/fixed_points.adb/1.10/Tue Jan  1 06:33:12 2013//Tgdb_7_6-branch
D
