Name Last modified Size Description Parent Directory - INDEX 1995-01-02 16:15 196 floatingpoint.0 1989-08-03 15:50 1.9K floatingpoint.3 1989-08-03 15:50 25K floatingpoint.1 1989-08-03 15:50 54K floatingpoint.2 1989-08-03 15:50 58K