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