[EDIT] recognized your nick from IRC a while back, my "good idea" is still to add support for 80-bit floats ;)