/bigfltpm.inc/1.1.1.1/Sun Oct 27 22:15:00 2002/-ko/
/bigfltrt.t/1.1.1.1/Sun Oct 27 22:15:00 2002/-ko/
/bigrat.t/1.1.1.1/Sun Oct 27 22:15:00 2002/-ko/
/bigratpm.inc/1.1.1.1/Sun Oct 27 22:15:00 2002/-ko/
/bigratpm.t/1.1.1.1/Sun Oct 27 22:15:00 2002/-ko/
D
