Use proper lists to represent big floats.
Authored by: whebisch 2007-08-23
Parent: [r30]
Child: [r32]