/fixed_points.adb/1.9/Wed Jan  4 08:17:34 2012//Tgdb_7_5-branch
D
