/fixed_points.adb/1.6/Thu Mar 19 14:08:50 2009//
D
