| commit | 49fc6660334ec6c582fce1f8fb14b4f804a1b60b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 10 09:51:35 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 10 09:51:35 1999 +0000 |
| tree | 521f9f906c1297a03558c8ccdf55f01ff12cd5cb | |
| parent | ca74da4e2c0ccbf7c8c54a7ed1a13385f0e205cb [diff] |
Use typeFloat for all floating point values. The previously used typeExtended was a Think-ism that must have stopped working years and years ago without anyone noticing.